... Houtepen¹¹

Translated from the Dutch by G. R. Roelofs

... WP-filename.WPF²²

This may be a WordPefect 5.0 document with an extension other than .WPF

... another³³

This may be a file with an extension other than .TEX